Laurent Regnier : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (57)
Les plus populaires
Liste
- Liste
- Tableau

1

Advances in Linear Logic || Linear Logic: its syntax and semantics

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Langue:

english

Fichier:

PDF, 289 KB

english, 1995

2

Advances in Linear Logic || Noncommutative proof nets

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Fichier:

PDF, 1.03 MB

1995

3

A mesofluidic multiplex immunosensor for detection of circulating cytokeratin-positive cells in the blood of breast cancer patients

François Breton, Bernard Bennetau, Rosette Lidereau, Laurent Thomas, Gilles Regnier, Jean-Claude Ehrhart, Patrick Tauc, Phuong-Lan Tran

Journal:

Biomedical Microdevices

Année:

2011

Langue:

english

Fichier:

PDF, 318 KB

english, 2011

4

Toxicity of Carbon Dioxide: A Review

Guais, Adeline, Brand, Gerard, Jacquot, Laurence, Karrer, Mélanie, Dukan, Sam, Grévillot, Georges, Molina, Thierry Jo, Bonte, Jacques, Regnier, Mireille, Schwartz, Laurent

Journal:

Chemical Research in Toxicology

Année:

2011

Langue:

english

Fichier:

PDF, 1.04 MB

english, 2011

5

The Clinical Spectrum of Severe Imported Falciparum Malaria in the Intensive Care Unit

Bruneel, Fabrice, Hocqueloux, Laurent, Alberti, Corinne, Wolff, Michel, Chevret, Sylvie, Bédos, Jean-Pierre, Durand, Rémy, Le Bras, Jacques, Régnier, Bernard, Vachon, François

Journal:

American Journal of Respiratory and Critical Care Medicine

Année:

2003

Langue:

english

Fichier:

PDF, 78 KB

english, 2003

6

Contributed Review: Quartz force sensing probes for micro-applications

Abrahamians, Jean-Ochin, Pham Van, Laurent, Régnier, Stéphane

Journal:

Review of Scientific Instruments

Année:

2016

Langue:

english

Fichier:

PDF, 5.96 MB

english, 2016

7

Advances in Linear Logic || Preface

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Langue:

english

Fichier:

PDF, 265 KB

english, 1995

8

Advances in Linear Logic || Proof-nets and the Hilbert space

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Fichier:

PDF, 1.15 MB

1995

9

Advances in Linear Logic || Volume of mulitplicative formulas and provability

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Fichier:

PDF, 590 KB

1995

10

Developmental expression of nitric oxide synthase isoform I and III in chick retina

Olivier Goureau, Fabienne Régnier-Ricard, Laurent Jonet, Jean-Claude Jeanny, Yves Courtois, Françoise Chany-Fournier

Journal:

Journal of Neuroscience Research

Année:

1997

Langue:

english

Fichier:

PDF, 427 KB

english, 1997

11

Role of nitric oxide in photoreceptor survival in embryonic chick retinal cell culture

Olivier Goureau, Fabienne Régnier-Ricard, Laurent Désiré, Yves Courtois

Journal:

Journal of Neuroscience Research

Année:

1999

Langue:

english

Fichier:

PDF, 264 KB

english, 1999

12

Differential Interaction Nets

Thomas Ehrhard, Laurent Regnier

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 570 KB

english, 2005

13

The differential lambda-calculus

Thomas Ehrhard, Laurent Regnier

Journal:

Theoretical Computer Science

Année:

2003

Langue:

english

Fichier:

PDF, 456 KB

english, 2003

14

Reversible, irreversible and optimal λ-machines

Vincent Danos, Laurent Regnier

Journal:

Theoretical Computer Science

Année:

1999

Langue:

english

Fichier:

PDF, 163 KB

english, 1999

15

Reversible, Irreversible and Optimal λ-machines: Extended abstract

Vincent Danos, Laurent Regnier

Journal:

Electronic Notes in Theoretical Computer Science

Année:

1996

Langue:

english

Fichier:

PDF, 941 KB

english, 1996

16

Fast Colorimetric Evaluation of Optimum Conditions for the Synthesis of Fluorescent Molecular Probes: Application to Neuronal Tracers N,N-((Dialkylamino)styryl)-N-alkylpyridinium Salts

Thomas Regnier, Stefania Garbacia, Pascale Laurent, Hervé des Abbayes, Olivier Lavastre

Journal:

Molecular Informatics

Année:

2005

Langue:

english

Fichier:

PDF, 524 KB

english, 2005

17

The structure of multiplicatives

Vincent Danos, Laurent Regnier

Journal:

Archive for Mathematical Logic

Année:

1989

Langue:

english

Fichier:

PDF, 1.23 MB

english, 1989

18

Une équivalence sur les lambda- termes

Laurent Regnier

Journal:

Theoretical Computer Science

Année:

1994

Fichier:

PDF, 695 KB

1994

19

Uniformity and the Taylor expansion of ordinary lambda-terms

Thomas Ehrhard, Laurent Regnier

Journal:

Theoretical Computer Science

Année:

2008

Langue:

english

Fichier:

PDF, 643 KB

english, 2008

20

Association of a new c-Cbl related protein with the very first stages of apoptosis induction

Laurent Corsois, Brigitte Quatannens, Patrick Dumont, Marc Aumercier, Marie-Paule Defresne, Daniel C.L. Régnier

Journal:

Cancer Detection and Prevention

Année:

2002

Langue:

english

Fichier:

PDF, 354 KB

english, 2002

21

Reduction with tris(2-carboxyethyl)phosphine (TCEP) enables the use of an S-sulphonate protecting group for thiol-mediated bioconjugation

Maret, Barbara, Regnier, Thomas, Rossi, Jean-Christophe, Garrelly, Laurent, Vial, Laurent, Pascal, Robert

Journal:

Année:

2014

Langue:

english

Fichier:

PDF, 494 KB

english, 2014

22

[IEEE Comput. Soc 18th Annual IEEE Symposium on Logic in Computer Science - Ottawa, Ont., Canada (22-25 June 2003)] 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings. - About translations of classical logic into polarized linear logic

Laurent, O., Regnier, L.

Année:

2003

Langue:

english

Fichier:

PDF, 469 KB

english, 2003

23

Évaluation du bon usage des inhibiteurs de la pompe à protons (IPP)

Regnier-Gavier, Olivier, Cadart, Héloïse, Rolland, Esther, Bensimon, Daniel, Thiriet, Laurent

Journal:

Le Pharmacien Hospitalier et Clinicien

Année:

2014

Langue:

french

Fichier:

PDF, 159 KB

french, 2014

24

[IEEE 2014 IEEE 57th International Midwest Symposium on Circuits and Systems (MWSCAS) - College Station, TX, USA (2014.8.3-2014.8.6)] 2014 IEEE 57th International Midwest Symposium on Circuits and Systems (MWSCAS) - Dynamic power reduction through process and design optimizations on CMOS 80 nm embedded non-volatile memories technology

Innocenti, Jordan, Welter, Loic, Julien, Franck, Lopez, Laurent, Sonzogni, Jacques, Niel, Stephan, Regnier, Arnaud, Paire, Emmanuel, Labory, Karen, Denis, Eric, Portal, Jean-Michel, Masson, Pascal

Année:

2014

Langue:

english

Fichier:

PDF, 853 KB

english, 2014

25

Androgen-Dependent Apoptosis in Male Germ Cells Is Regulated through the Proto-Oncoprotein Cbl

Nisrine El Chami, Fouziha Ikhlef, Krisztian Kaszas, Sadok Yakoub, Eric Tabone, Benazir Siddeek, Stéphanie Cunha, Claude Beaudoin, Laurent Morel, Mohamed Benahmed and Daniel C. Régnier

Journal:

The Journal of Cell Biology

Année:

2005

Langue:

english

Fichier:

PDF, 2.92 MB

english, 2005

26

Foreword

Ehrhard, Thomas, Lafont, Yves, Regnier, Laurent

Journal:

Mathematical Structures in Computer Science

Année:

1998

Langue:

english

Fichier:

PDF, 53 KB

english, 1998

27

L’exposition à un mélange de pesticides à faible dose induit obésité et intolérance au glucose in vivo

Lukowicz, Céline, Ellero-Simatos, Sandrine, Mselli-Lakhal, Laila, Régnier, Marion, Lasserre, Frédéric, Polizzi, Arnaud, Montagner, Alexandra, Lippi, Yannick, Debrauwer, Laurent, Theodorou, Vasillia, L

Journal:

Diabetes & Metabolism

Année:

2017

Langue:

french

Fichier:

PDF, 52 KB

french, 2017

28

Paclitaxel treatment and PC1/3 knockdown in macrophages is a promising anti-glioma strategy as revealed by proteomics and cytotoxicity studies

Duhamel, Marie, Rose, Mélanie, Rodet, Franck, Murgoci, Adriana-Nathalia, Zografidou, Lea, Régnier-Vigouroux, Anne, Vanden Abeele, Fabien, Kobeissy, Firas, Nataf, Serge, Pays, Laurent, Wisztorski, Maxe

Journal:

Molecular & Cellular Proteomics

Année:

2018

Langue:

english

Fichier:

PDF, 7.29 MB

english, 2018

29

Endoribonuclease L (RNase L) Regulates the Myogenic and Adipogenic Potential of Myogenic Cells

Salehzada, Tamim, Cambier, Linda, Vu Thi, Nga, Manchon, Laurent, Regnier, Laëtitia, Bisbal, Catherine, Parise, Gianni

Journal:

Année:

2009

Langue:

english

Fichier:

PDF, 790 KB

english, 2009

30

Holocene-long record of flood frequency in the Southern Alps (Lake Iseo, Italy) under human and climate forcing

Rapuc, William, Sabatier, Pierre, Arnaud, Fabien, Palumbo, Antoine, Develle, Anne-Lise, Reyss, Jean-Louis, Augustin, Laurent, Régnier, Edouard, Piccin, Andrea, Chapron, Emmanuel, Dumoulin, Jean-Pascal

Journal:

Global and Planetary Change

Année:

2019

Langue:

english

Fichier:

PDF, 1.96 MB

english, 2019

31

Advances in Linear Logic || Sequent calculi for second order logic

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Langue:

english

Fichier:

PDF, 783 KB

english, 1995

32

Advances in Linear Logic || The direct simulation of Minsky machines in linear logic

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Langue:

english

Fichier:

PDF, 909 KB

english, 1995

33

Advances in Linear Logic || Noncommutative proof nets

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Langue:

english

Fichier:

PDF, 1.03 MB

english, 1995

34

Advances in Linear Logic || Empires and kingdoms in MLL-

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Langue:

english

Fichier:

PDF, 1.17 MB

english, 1995

35

Advances in Linear Logic || Stochastic interaction and linear logic

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Langue:

english

Fichier:

PDF, 1.10 MB

english, 1995

36

Advances in Linear Logic || Deciding provability of linear logic formulas

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Langue:

english

Fichier:

PDF, 923 KB

english, 1995

37

Advances in Linear Logic || A category arising in linear logic, complexity theory and set theory

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Langue:

english

Fichier:

PDF, 1.39 MB

english, 1995

38

Advances in Linear Logic || Geometry of interaction III: accommodating the additives

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Langue:

english

Fichier:

PDF, 2.80 MB

english, 1995

39

Advances in Linear Logic || Volume of mulitplicative formulas and provability

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Langue:

english

Fichier:

PDF, 590 KB

english, 1995

40

Advances in Linear Logic || Bilinear logic in algebra, and linguistics

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Langue:

english

Fichier:

PDF, 944 KB

english, 1995

41

Advances in Linear Logic || Proof-nets and the Hilbert space

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Langue:

english

Fichier:

PDF, 1.15 MB

english, 1995

42

Advances in Linear Logic || From proof nets to interaction nets

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Langue:

english

Fichier:

PDF, 1013 KB

english, 1995

43

Advances in Linear Logic || On the fine structure of the exponential rule

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Langue:

english

Fichier:

PDF, 708 KB

english, 1995

44

Advances in Linear Logic || Inheritance with exceptions

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Langue:

english

Fichier:

PDF, 1.47 MB

english, 1995

45

Advances in Linear Logic || Hypercoherences: a strongly stable model of linear logic

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Langue:

english

Fichier:

PDF, 1.36 MB

english, 1995

46

Advances in Linear Logic || Bilinear logic in algebra, and linguistics

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Fichier:

PDF, 944 KB

1995

47

Advances in Linear Logic || Inheritance with exceptions

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Fichier:

PDF, 1.47 MB

1995

48

Advances in Linear Logic || Stochastic interaction and linear logic

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Fichier:

PDF, 1.10 MB

1995

49

Advances in Linear Logic || A category arising in linear logic, complexity theory and set theory

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Fichier:

PDF, 1.39 MB

1995

50

Advances in Linear Logic || Geometry of interaction III: accommodating the additives

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Fichier:

PDF, 2.80 MB

1995